Math's Map Coloring Problem - The First Proof Solved By A Computer Quanta Magazine 9:04 1 year ago 239 567 Далее Скачать
BPR programme: participant Georges Gonthier explains "Four colour theorem" Isaac Newton Institute for Mathematical Sciences 9:38 6 years ago 1 799 Далее Скачать